COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	206.LSP[F81,JMC]
C00008 ENDMK
C⊗;
206.LSP[F81,JMC]
AP.[F81,JMC]
BOND.NS[F81,JMC]
BUDGET.LSP[F81,JMC]
BUTTER.NS[F81,JMC]
advice[f81,jmc]		An advice giver and advice taker
auxili[f81,jmc]		Proofs of program properties using auxiliary entities
balance[f81,jmc]		Balanced trees instead of a-lists
balance.2[f81,jmc]	Functions for balancing S-expressions
bfloat[f81,jmc]		comments on big floats for common lisp
caroly.lsp[f81,jmc]	ekl version of Carolyn's recursive function maker
cbcl.not[f81,jmc]	notes on cbcl, universal service order
cerp[f81,jmc]		California energy recovery plan
CHANDR.RE1[F81,JMC]
CODE.NS[F81,JMC]
COMPUT.NS[F81,JMC]
CYCLE.PRF[F81,JMC]
EKLISP.LSP[F81,JMC]
cerp.not[f81,jmc]	Notes for cerp
cycle.lsp[f81,JMC]	ekl lisp axioms
davis.rev[f81,jmc]	Review of Martin Davis NSF proposal
ekl.206[f81,jmc]		ekl problems for cs206
ELISP.INI[F81,JMC]
FACTS.[F81,JMC]		miscellaneous interesting facts
FINAL.F81[F81,JMC]
HW4.PPR[F81,JMC]
emigra[f81,jmc]		instincts for emigration and conflict
equip[f81,jmc]		Equipment needs for Formal Reasoning Group
facili[f81,jmc]		getting CSCF into financial health
goedel[f81,jmc]		Kreisel's essence of Goedel's theorem and applications
ideas[f81,jmc]		random ideas
KNOW.PRF[F81,JMC]
know[f81,jmc]		draft of paper on knowledge
knowax.lsp[f81,jmc]	ekl axioms for knowledge, original jmc modal system
know3.lsp[f81,jmc]	ekl axioms for knowledge using possible worlds
know4.lsp[f81,jmc]	comments and axioms on Kripke type knowledge
knowle[f81,jmc]		axiomatizing knowledge using consistency
librar.lsp[f81,jmc]	library of useful lisp functions
life[f81,jmc]		A competitive form of the Life game
LISP.INI[F81,JMC]
LISP.PRF[F81,JMC]
logic[f81,jmc]		mathematical logic for the practical man
match.lsp[f81,jmc]	ekl version of problem with match and sublis
midter.f81[f81,jmc]	cs206 midterm
motiva[f81,jmc]		On human motivation
move.lsp[f81,jmc]	Routines for moving objects from pile to pile
MULTIV.[F81,JMC]
natax.lsp[f81,jmc]	ekl axioms for arithmetic
nato[f81,jmc]		U.S.withdrawal from NATO
nonmon.ax[f81,jmc]	Examples of axioms intended for use with circumscription
nuclea.ns[f81,jmc]	Costs of nuclear and oil generated electricity for
			Consolidated Edison
oneill[f81,jmc]		lunch with Gerard O'Neill, Nov 20
oppen[f81,jmc]		making Oppen's decision procedure useful
PROVE.LIS[F81,JMC]
proofs[f81,jmc]		generalized proofs
provin[f81,jmc]		notes for improving chapter on proofs
provin.f81[f81,jmc]	copy of provin for modification
QUOTES.[F81,JMC]	revealing quotes from Ehrlich, et. al.
sail[f81,jmc]		The finances of SAIL
SAMELE.PPR[F81,JMC]
SAMELE.PRF[F81,JMC]
samele.lsp[f81,jmc]	ekl axioms for the samelength predicate
SCIENT.2[F81,JMC]
SHACKL.LIS[F81,JMC]
SHACKL.NOT[F81,JMC]
SHUTTL.NS[F81,JMC]
SL1.PPR[F81,JMC]
SL1.PRF[F81,JMC]
spide1.lsp[f81,jmc]	ad hoc spider player and referee
spide2.lsp[f81,jmc]	spider player and referee using move.lsp[f81,jmc]
stoyan.6[let,jmc]		comments on 2nd part of Stoyan's translation
stoyan[f81,jmc]		comments on 1st part of Stoyan's translation
surviv.1[f81,jmc]	survival in case of nuclear attack
surviv.2[f81,jmc]	survival in case of nuclear attack - draft paper
TECH.NS[F81,JMC]
TEST.[F81,JMC]
TEST.LSP[F81,JMC]
TEST2.[F81,JMC]
tree.lsp[f81,jmc]	hash trees instead of a-lists
unprov[f81,jmc]		Proving unprovability
zinger[f81,jmc]		zingers for the theologists in january